- Reduktionsregel
- fправило приведения; правило эквивалентной замены
Deutsch-Russische Wörterbuch polytechnischen. 2013.
Reduktionsregel
Смотреть что такое "Reduktionsregel" в других словарях:
Kombinator — Kombinatorische Logik (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders… … Deutsch Wikipedia
Kombinatorische Logik — (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders in der Informatik als… … Deutsch Wikipedia
